The review focuses on Küenne's account of truthmaking and on his minimalist approach to truth.

The purpose Tarski speaks of is "to do justice to our intuitions which adhere to the classical Aristotelian conception of truth." Tarski takes this to be some form of correspondence theory. He has earlier considered and rejected an even less satisfactory formula of this sort: 'a sentence is true if it corresponds to reality'. His own semantic conception of truth is meant to be a more precise variant doing justice to the correspondence standpoint. In this spirit I shall (...) presently suggest a revised version of. (shrink)

Review on Realist conception of Truth, of the W. P. Alston.

Wolfgang Künne's Conceptions of Truth (2003) is a magnificent achievement. Wonderfully clear, erudite, compendious, honest and insightful on some very tricky issues – these are some of its many virtues. I have benefited a great deal from studying it. In this short note, I will concentrate on Künne's own positive proposal about the concept of truth, his modestly named ‘Modest Account’. I will raise some questions about its ultimate viability.

We show in this paper how three continental philosophers (Husserl, Heidegger, and Derrida respectively) respond negatively to the analytic correspondence theory of truth using different notions developed by them (i.e. the notion of Intentionality by Husserl, the notion of Dasein by Heidegger, and the notion of Trace by Derrida). We show that despite the fact that the three philosophers are united against the analytic correspondence theory of truth, there are still deep differences between them which stem from the (...) different tools they use to articulate the concept of truth. Also, we argue that Husserlian truth has an advantageous position over the other concepts of truth presented. (shrink)

Alfred Tarski’s work on truth has played such a central role in the discourse on truth that most coming to it for the first time have probably already heard a great deal about what is said there. Unfortunately, since the work is largely technical and Tarski was only tan- gentially philosophical, a certain incautious assimilation dominates many philosophical discussions of Tarski’s ideas, and so, examining Tarski on the concept of truth is in many ways an act of (...) unlearning. -/- In this paper I focus on those key ideas in Tarski’s work that have made a lasting impact on the philosophical discourse. These are the notions of T-sentence, Convention T, Tarskian truth definition, and Tarski’s general limiting theses on the expressibility and definability of truth. Though these ideas are in name familiar, we will seek in this essay to uncover and remove certain widespread misunderstandings of each. Tarski’s name also features prominently in discussions of the liar paradox, so we will take time out to explain Tarski’s connection to this ancient puzzle. (shrink)

The symposium »Does the Concept of ›Truth‹ Have Value in the Pursuit of Cross-Cultural Philosophy?« hones on a methodological question which has deep implications on doing philosophy cross-culturally. Drawing on early Confucian writers, the anchor, Henry Rosemont, Jr., attempts to explain why he is skeptical of pat, affirmative answers to this question. His co-symposiasts James Maffie, John Maraldo, and Sonam Thakchoe follow his trail in working out multi-faceted views on truth from Mexican, Japanese Confucian, and Tibetan Buddhist perspectives (...) respectively. As these positions substantiate, the aforementioned non-Anglo-European traditions seem to draw on an integrated view of thinking, feeling, and living a human life. For their practitioners, truth is less of a correspondence with a given external reality. In fact, it enables human beings to strike the right path in living good, social lives. (shrink)

In his writings on the foundations of logic, Gottlob Frege, the father of modern logic, sketched a conception of truth that focuses on the following questions: What is the sense of the word “true”? Is truth a definable concept or a primitive one? What are the kinds of things of which truth is predicated? What is the role of the concept of truth in judgment, assertion and recognition? What is the logical category of truth? What (...) is the significance of the concept of truth for science in general and for logic in particular? The present volume is dedicated to the interpretation, reconstruction and critical assessment of Frege’s conception of truth. It is of interest to all those working on Frege, the history of logic and semantics, or theories of truth. The volume brings together nine original papers whose authors are all widely known to Frege scholars. The main topics are: the role of the concept of truth in Frege’s system, the nature of the truth-values, the logical category of truth, the relationship between truth and judgment, and the conception of the truth-bearers. (shrink)

I argue that in Plato's _Sophist, the account of true and false statement which emerges within the discussion of not being and falsehood neither entails nor outwardly suggests any of the traditional characterizations of a correspondence "theory" of truth. On the contrary, what emerges is a minimalistic "conception" of truth which requires neither positing the existence of facts nor formulating an explanatory definition of truth. I make comparisons with Aristotle's discussion of truth in the _Categories and (...) _De Interpretatione, and I offer reasons why one should not expect to find the emergence of a "theory" of truth in the _Sophist. (shrink)

This paper offers a reading of Hartmann’s philosophy of literature from the perspective of contemporary aesthetics. In particular, I focus on his defense of the truth-value of literary works. After outlining the main concern of the paper (sect. 1), I place Hartmann’s view within the context of current aesthetic cognitivism (sect. 2). In the following three sections, I discuss Hartmann’s account, examining his critique of the thesis that literature is cognitively valuable because it transmits factual truths (sect. 3); his (...) defense of the view that literature discloses life (sect. 4); and the link between cognitive value and the ontology of the literary work (sect. 5). Finally, I discuss Hartmann’s focus on the concept of “truth” in the light of recent debates on knowledge of “what it is like” and on “understanding” (sect. 6). (shrink)

Given Heidegger’s inflammatory remarks about the intellectual poverty of modern logic, it may come as a surprise to be told that he has something to contribute to the philosophy of logic. One of the rewards of Daniel Dahlstrom’s Heidegger’s Concept of Truth is its argument that Heidegger can illuminate such issues in the philosophy of logic as the character of propositions, the nature of bivalence, and the concept of truth. Dahlstrom focuses on Heidegger’s work in the years immediately (...) before and after the publication of Being and Time, with particular emphasis on the lecture courses from this period, especially the one published as Logik: Die Frage nach der Wahrheit. (shrink)

In this paper on Karl Barth's conception of truth I shall try to state his position regarding the nature of truth and the criterion of truth, and secondly I shall draw from his position some propositions which I believe exhibit a pattern in his theology which brings it into close relationship to a philosophical tradition.

In lieu of an abstract, here is a brief excerpt of the content:A "Conception" of Truth in Plato's SophistBlake E. Hestir (bio)1. IntroductionPlato's solution to the problem of falsehood carries a notorious reputation which sometimes overshadows a variety of interesting developments in Plato's philosophy. One of the less-noted developments in the Sophist is a nascent conception of truth which casts truth as a particular relation between language and the world. F. M. Cornford, for one, in his translation (...) and commentary on the Sophist takes Plato's account of truth to involve something like correspondence: "The [true] statement as a whole is complex and its structure corresponds to the structure of the fact. Truth means this correspondence."1 In more general contexts, we find A. N. Prior claiming in his Encyclopedia of Philosophy entry on the correspondence theory of truth: "Aristotle did not originate the correspondence theory but took it over from Plato's Sophist."2However, all this assumes a lot about Plato, much less Aristotle. For one, it assumes that to claim that the statement 'Theaetetus is sitting' is true is to claim that it is true because it corresponds with the fact that Theaetetus is sitting. Other scholars, for a wide variety of interpretational reasons, have been reluctant to accept Cornford's view, but few offer any explanation of what sort of account of truth we might ascribe to Plato by the end of the Sophist. Michael Frede claims [End Page 1] that Plato thinks a true statement is true precisely if a form is something that is with reference to a subject. Frede is quiet about whether this expresses a particular conception of truth, but if he's right, truth involves something other than correspondence. Alfred Tarski has argued at length that truth is a simpler notion than that of correspondence or coherence or whatever. In fact, one claim he emphasizes about his own "conception" of truth is that it is similar to the classical conception of truth we find in places like Aristotle's Metaphysics—a conception of truth which is formulated in Greek in very much the same way Plato formulates it in the Sophist. Unfortunately, Tarski never sufficiently explains exactly what it is about the classical conception that makes it closer to his own.I shall argue that in a very general sense Tarski is right about the ancient conception of truth, but this is not to claim that Tarski's own conception of truth can be found in Plato. By interpreting in a certain way Plato's solution to the paradox of not being and his solution to the problem of falsehood, I argue that the account of true and false statement that emerges within the discussion of not being and falsehood generally neither entails nor outwardly suggests any of the traditional characterizations of a correspondence "theory" of truth.3 On the contrary, what emerges from the Sophist is a very minimalistic "conception" of truth which requires neither positing the existence of facts or states of affairs nor formulating a precise, explanatory definition of truth. Aristotle's discussion of truth in the Categories and De Interpretatione is in many respects remarkably similar to Plato's; and I argue that although some, including W. D. Ross and J. L. Ackrill, have found forms of the correspondence theory in these early works, Aristotle's conception of truth makes no radical departures from Plato's and in fact stands as an obvious extension of the ideas about truth Plato presents in the Sophist. In the final section, I offer a few reasons why one should not expect to find the emergence of a "theory" of truth in the Sophist. If my general interpretation of Plato is correct, we should revise at least one historically significant footnote to Plato accordingly: Plato did not father the correspondence theory of truth and those claiming otherwise risk anachronistically attributing a problem-laden theory to Plato and/or missing one of Plato's points about the fundamental nature of truth.2. The Target Passage: Sophist 2 6 3 B 4Interesting philosophical developments in Plato's dialogues are frequently obscured by vexing translational issues, and the Sophist certainly contains a few. In fact, Plato's account... (shrink)

This paper proposes a social account for the origin of the truth value and the emergence of the first declarative sentence. Such a proposal is based on two assumptions. The first is known as the social intelligence hypothesis: that the cognitive evolution of humans is first and foremost an adaptation to social demands. The second is the function-first approach to explaining the evolution of traits: before a prototype of a new trait develops and the adaptation process begins, something already (...) existing is used for a new purpose. Applied to the emergence of declarative sentences (statements), this suggests something already existing––natural signs (such as indexical objects)––was used for the declarative function and thereby integrated into communication. I show that index display (such as the display of hunting trophies) can imply a conceptual structure similar to that informing the syntax of sentences. The view developed in this paper is broadly consistent with the argumentative theory of Mercier and Sperber, which suggests that reasoning is less adapted to decision making than to social purposes such as winning disputes. In this paper I extend this view to the evaluation of propositions expressed in declarative sentences. According to my proposal, the first declarative sentence emerged as the negation of the (implicit) negation of an implicit statement. Thereby, I suggest that the binary structure of the truth value underlying any declarative sentence is founded on disagreements based on conflicts of interests. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

We discuss four distinct semantic consequence relations which are based on Strong Kleene theories of truth and which generalize the notion of classical consequence to 3-valued logics. Then we set up a uniform signed tableau calculus, which we show to be sound and complete with respect to each of the four semantic consequence relations. The signs employed by our calculus are,, and, which indicate a strict assertion, strict denial, tolerant assertion and tolerant denial respectively. Recently, Ripley applied the strict–tolerant (...) account of assertion and denial to develop a new approach to truth and alethic paradox, which we call the Strict–Tolerant Conceptionof Truth. The paper aims to contribute to our understanding of STCT in at least three ways. First, by developing the strict–tolerant calculus.Second, by developing a semantic version of the strict–tolerant calculus, which informs us about the assertoric possibilities relative to a fixed ground model. Third, by showing that the strict–tolerant calculus and assertoric semantics jointly suggest that STCT's claim that the strict and tolerant can be understood in terms of one another has to be reconsidered. (shrink)

Based on the writings of D.S. Kothari; includes his brief biographical sketch and review of his four books.

This chapter reviews Davidson's main work on truth. It focuses on the connections between truth, meaning, and interpretation that form the core of Davidson's views, and on the relations of his views to traditional theories of truth. It highlights several key ideas that comprise Davidson's approach to truth: Tarski's work on truth is fundamental to understanding the concept, as is the relation of truth to meaning, and we fail to understand that connection adequately unless (...) we take into account the constraints of radical interpretation. Furthermore, in understanding those connections, we see that truth is not a redundant or trivial concept, but equally, it is not a locus for metaphysical commitments. (shrink)

The paper seeks to specify how, according to Plato’s Sophist, true statements achieve their being about objects and their saying that ‘what is about such objects is’. Drawing on the 6th definition of the sophist, I argue for a normative-teleological conception of truth in which the best condition of our soul –in its making statements or having mental states– consists in its seeking to attain the telos of truth. Further, on the basis of Plato’s discussion of original and (...) image, his distinction between correct and incorrect image, and the 7th definition, I argue that achieving the telos of truth involves preserving the original’s proportions and appropriate features. The view that Plato’s conception of truth takes statements or mental states to be certain types of image is not ground-breaking. The important contribution of my argument is that it offers a plausible way to understand two recalcitrant claims made by Plato: first, that falsity obtains not only in the region of incorrect images (appearances) but also within correct images (likenesses); second, that some incorrect images are based on knowledge and so could be true. (shrink)

This paper analyzes the concept of truth in terms of an account of Fregean sense as cognitive value. The account highlights the importance of understanding-based knowledge of co-reference for the individuation of senses. Explicit truth attributions, like ‘that I smell the scent of violets is true’ involve an inter-level version of understanding-based knowledge of co-reference in the that-clause concepts of thoughts that they employ: one cannot understand the that-clause concept of the thought in the truth attribution without (...) understanding the thought the that-clause concept is a concept of. This is not a redundancy that eliminates or deflates cognitive value, but an exploitation, by the concept of truth, of the inter-level version of understanding-based knowledge of co-reference in critical reflective thinking. The cognitive value of the concept of truth is to combine semantically with explicit ways of thinking of thoughts to make critical reflective thinking possible. This account of the cognitive value of the concept of truth assigns cognitive value not by construing the concept of truth as a way of thinking about some thing, but by articulating its broader cognitive role. (shrink)

We sketch an account according to which the semantic concepts themselves are not pathological and the pathologies that attend the semantic predicates arise because of the intention to impose on them a role they cannot fulfill, that of expressing semantic concepts for a language that includes them. We provide a simplified model of the account and argue in its light that (i) a consequence is that our meaning intentions are unsuccessful, and such semantic predicates fail to express any concept, and (...) that (ii) in light of this it is incorrect to characterize the pathology simply as semantic inconsistency; a more nuanced view of the problem is needed. We also show that the defects of the semantic predicates need not undercut the use of a truth theory in a compositional semantics for a language containing them because the meaning theory per se need not involve commitment to the axioms of the truth theory it exploits. (shrink)

In the paper the problem of definability and undefinability of the concept of satisfaction and truth is considered. Connections between satisfaction and truth on the one hand and consistency of certain systems of omega-logic and transfinite induction on the other are indicated.

This paper responds to Tugendhat's well-known and influential critique of Heidegger's concept of truth with the resources of Heidegger's texts, in particular §44 of Being and Time. To start with, Tugendhat's primary critical argument is reconstructed. It is held to consist firstly in the charge of ambiguity against Heidegger's formulations of his concept of truth and secondly in the claim that Heidegger's concept of truth is incompatible with an adequate concept of falsehood. It is shown that the (...) supposedly ambiguous meanings are, on the one hand, in fact clearly distinguished by Heidegger and, on the other, that they merely amount to different extensions of the same meaning of truth. It is then shown how this concept of truth is indeed compatible with an adequate, albeit post-metaphysical, concept of falsehood. Finally, the grounds of falsehood in the untruth of the existential of Verfallen are pursued and further objections are dismissed. (shrink)

The paper examines some remarks Wittgenstein expresses on pragmatism in manuscripts and lectures during the first half of the Thirties. These remarks focus principally on the Jamesian conception of truth, very roughly summarized in the claim that a belief or a proposition is true if it is useful. Wittgenstein acknowledges that this conception is able to capture some characters of ordinary language, but at the same time, he criticizes some aspects of it, and his criticism strongly resembles Frank Ramsey’s (...) attitude towards the same topics. In this sense, it is argued that Ramsey had a role both for Wittgenstein approaching pragmatism, and for the partly negative attitude with which he came to judge it, at least in this period. Yet, the two thinkers’ general perspectives diverge when it comes to the place of theory in philosophical activity. (shrink)

Here I explore how the island was transformed into the site of the instrumentalization of evil, allowing Kant to expand its conception as a land of truth concerning its default genealogy in the homeland, lending purposiveness to evil to ensure this land of truth is protected from natural illusion. By contrast, Rousseau proposed the opposite course, which surprisingly bears important links to contemporary predicaments, in line with the idea of modern progress premised on a generalizing moral ecology. By (...) the turn of the 20th century, reason usurped a new title claiming this land as a planetary system, touted as the second Copernican revolution. This new revolution overlaps with the geological acknowledgment of the turn to the Anthropocene in the century that follows. The article concludes with an interpretation of the Anthropocene as an anxious competition for misrepresenting the future, borrowing the Deleuzian sense of the desert island and the power of the false, vis-a-vis Derrida’s no-world spatiality, altogether shaped by a new relational ontology in a time of climate change compounded by post-truth challenges to political democracy. (shrink)

Kierkegaard claims that a certain kind of subjectivity (truthfulness) guarantees objectivity (truth). This paradox diminishes if we allow that he is concerned with the concept of truth involved in self?knowledge: ethical truth. Self?knowledge is an ethical concept, and close to the idea ?commitment to the truth?. Now this is analogous to the idea ?commitment to the Good?. And Kierkegaard claims also that a certain mode of willing guarantees its object's reality. This paradox diminishes if we reflect (...) on the idea of faith. For there is a certain way of life which can be understood only as expressing commitment to the Good. Commitment to the Good is a form of the commitment of true love, agape. Agape and knowledge are connected. Kierkegaard claims that agape ?believes all? but ?is never deceived?. For knowledge is only of possibilities: and so belief is a choice that is up to us. Belief and mistrust are the only fundamental relationships between persons. Of these only belief is a truly ethical commitment. Thus only within ?the ethical? can the ideas of self?knowledge and truthfulness retain their full scope and application. (shrink)

On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.

A transformed idea of truth is central to the project of reformational philosophy. This essay lays groundwork for such an idea by proposing a critical retrieval of Herman Dooyeweerd’s conception of truth. First it summarizes relevant passages in Dooyeweerd’s New Critique. Then it demonstrates several problems in his conception: he misconstrues religious truth, misconceives its relation to theoretical truth, and overlooks central questions of epistemology and truth theory. By addressing these problems, reformational philosophers can find (...) new ways to think about truth that retain the holism, normativity, and radicalness of Dooyeweerd’s conception. [T]he decisive blow against the idea of religiously neutral philosophy must be delivered on the field of the problem of truth… The postulate of neutrality always stands and falls with an idea of truth that takes theoretical truth to be self-sufficient. (shrink)

This major study of Heidegger is the first to examine in detail the concept of existential truth that he developed in the 1920s. Daniel O. Dahlstrom critically examines the genesis, nature and validity of Heidegger's radical attempt to rethink truth as the disclosure of time, a disclosure allegedly more basic than truths formulated in scientific judgements. The book has several distinctive and innovative features. First, it is the only study that attempts to understand the logical dimension of Heidegger's (...) thought in its historical context. Second, no other book-length treatment explores the breadth and depth of Heidegger's confrontation with Husserl, his erstwhile mentor. Third, the book demonstrates that Heidegger's deconstruction of Western thinking occurs on three interconnected fronts: truth, being and time. Dealing with a crucial aspect of the philosophy of one of the great thinkers of the twentieth century, this book will be important to all scholars and students of Heidegger, whether in philosophy, theology or literary studies. (shrink)

This book provides a detailed commentary on the classic monograph by Alfred Tarski, and offers a reinterpretation and retranslation of the work using the original Polish text and the English and German translations. In the original work, Tarski presents a method for constructing definitions of truth for classical, quantificational formal languages. Furthermore, using the defined notion of truth, he demonstrates that it is possible to provide intuitively adequate definitions of the semantic notions of definability and denotation and that (...) the notion in a structure can be defined in a way that is analogous to that used to define truth. Tarski’s piece is considered to be one of the major contributions to logic, semantics, and epistemology in the 20th century. However, the author points out that some mistakes were introduced into the text when it was translated into German in 1935. As the 1956 English version of the work was translated from the German text, those discrepancies were carried over in addition to new mistakes. The author has painstakingly compared the three texts, sentence-by-sentence, highlighting the inaccurate translations, offering explanations as to how they came about, and commenting on how they have influenced the content and suggesting a correct interpretation of certain passages. Furthermore, the author thoroughly examines Tarski’s article, offering interpretations and comments on the work. (shrink)

In this dissertation I explore Frege’s conception of truth. In particular I defend the thesis that Frege in his mature career takes truth to be an object, i.e., the True qua the reference of true sentences. In the literature on truth Frege has been usually taken to be a truth deflationist or a truth primitivist. Indeed Frege leaves a number of comments that sound like typical deflationist claims and his famous indefinability argument is the most (...) discussed argument for primitivism. However, Frege is neither a deflationist nor a primitivist. His deflationist remarks and the indefinability argument are rather his arguments that truth is an object. -/- For Frege judging—and its verbal counterpart asserting—is always acknowledging the truth of a truth-bearer. Thus, if truth is an object for him, his conception of judgment ought to also be adjusted accordingly. Indeed Frege shows how we can understand judgment qua acknowledgment of truth if truth is an object. Specifically, judging that p is identifying the True with the reference of ‘p’ non-judgmentally, i.e., without judging that p is identical with the reference of ‘p’. Frege’s conception of judgment impacts his conception of knowledge because the act of judging is that of producing knowledge. In a nutshell our act of judging and the knowledge we produce by it are epistemically grounded in our objectual knowledge of the True. If we take this point into account, we can develop a new reading of Frege’s claim that logic is the science of truth. -/- The suggested reading of Frege’s conception of truth and related notions can make a contribution to contemporary philosophical problems. First, Frege’s conception of judgment can cope with Peter Hanks’s recent criticisms of the Fregean picture of judgment in general. Secondly, his conception of assertion can explain the connection between truth and assertion in a novel way. Lastly, Frege’s conception of knowledge can be developed into a new theory of knowledge where objectual knowledge is more fundamental than propositional knowledge. (shrink)

This paper aims to construct a picture of knowledge out of Frege’s comments on truth, judgment, assertion, and knowledge. Frege takes truth to be an object, and the act of judgment to be the act of non-judgmental identification of truth qua an object with the reference of a sentence. For him, the propositional knowledge that p is the non-propositional knowledge of the identity between truth and |p|. Propositional knowledge thusly understood is produced by our knowledge of (...) truth qua an object, which is constituted by our abilities to identify truth as such. The Fregean picture of knowledge provides a tight connection between knowledge-how, objectual knowledge, and propositional knowledge. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 40.1 (2002) 133-134 [Access article in PDF] Book Review Heidegger's Concept of Truth Daniel O. Dahlstrom. Heidegger's Concept of Truth. New York: Cambridge University Press, 2001. Pp. xxx + 462. Cloth, $59.95. This somewhat trite and overly generic English title, from a Heideggerian perspective, is better specified by the title of the German original, which was perhaps too provocative for an (...) analytical English audience conditioned by Carnap's critique of Heidegger: "The Prejudice of Logic: Investigations into the Theory of Truth of the Early Heidegger." The author's more-than-literal, amplifying and supplementing translation of his own German text of 1994 aims to face up to all the "hard interpretive decisions" (xxii) that Heidegger poses by leaving no German term uninterpreted or untranslated, including even Dasein as "being-here." The translation is thus more illuminating from the start in the sense in which "logic" too narrowly conceived and claimed to be the sole arbiter of truth becomes a "disabling" prejudice (xvi) rather than the "enabling prejudice" that logic normally is for any discourse and thought. Dahlstrom's focus is on the early and so "logical" Heidegger (1912-29), before he decided to lose even logic (better, "onto-theo-logic") in a more original tornadic "whirl" of abyssal questioning in the "turning." Hence, the opening pages point to Heidegger's quest for a more original philosophical (transcendental, phenomenological, ontological, hermeneutical) "logic of philosophy" (Emil Lask's phrase) that "produces" the fundamental concepts or categories for any field of being, including itself. This original productive logic of category formation "transcends" the formal logic of judgment while founding it.It is the transcendental and material logic that Heidegger found in Kant, which is oriented toward the spatio-temporal schematisms of the imagination that emerge from the transcendental aesthetic to mediate the application of the judicative forms of the understanding into befitting categories of reality. But Dahlstrom does not get around to detail this quasi-Kantian account of material logic, or Lask's version of it, which finds its fundamental stratum in the already categorized (i.e., conceptually interpreted) originally unitary object, prior to its distinction into form and matter, subject and predicate, etc. Lask calls this a priori categorized realm of intentionally structured meaning (intelligibility, truth) a "panarchy of the logos," which Heidegger will readily transform into his "hermeneutics of facticity" (double genitive: "life lays itself out, interprets itself") and identify with the prejudicative, prepredicative temporal realm of truth as "disclosedness" and "unconcealment." [End Page 134]But Dahlstrom does find, in Husserl's unpublished logic courses of the early twenties in which "Analyses of Passive Synthesis" are carried out, a "genetic logic" on the level of the "transcendental aesthetic" in the "complicated intentional systems" of the sensing human body situating itself by constituting the time and space of its world prepredicatively and prejudicatively, a "logic" or logos which accordingly "anticipates much of the analysis of being-in-the-world undertaken in Being and Time" (155). And yet Heidegger, who as Husserl's trusted assistant was granted generous access to such unpublished manuscripts, "remained silent" about these clear anticipations. Instead he criticizes Husserl publicly in his own courses, culminating in Being and Time, for neglecting the question of the "being of intentionality" as well as of the "sense" of being as such, which Heidegger finds in "timeliness" (Zeitlichkeit), the originary time of being-here. Yet in arriving at this temporal sense of being, Heidegger "clearly appropriates the horizonal (allegedly preobjective and presubjective) character of time-consciousness elaborated by Husserl." Why, then, "Heidegger's silence"? "These breakthroughs of Husserl's later thinking are not mentioned by Heidegger because he wants to appropriate them in his own way and without the framework out of which they arose. An injustice and a disservice is thus done to Husserl's phenomenology... [which is] the price of the philosophical maturity of its most famous student... [as] his thinking moves to a plane beyond the reach of Husserlian phenomenology and terminology" (169f).This in-depth discussion of Heidegger's relationship with Husserl... (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)